1. Advances in Computer Systems Architecture (vol. # 3740) :
Author: edited by Chip-Hong Chang, Thambipillai Srikanthan, Jingling Xue.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Data transmission systems.
2. Advances in computers.
Author: edited by Marvin V. Zelkowitz.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.
Classification :
QA76
.
A3eb
vol
.
45
3. An Integrated Approach to Software Engineering
Author: by Pankaj Jalote.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
4. Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
Author: Mainul Islam
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
5. Compstat :
Author: edited by Konstantin Momirović, Vesna Mildner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical statistics -- Data processing.,Mathematical statistics.,Probabilities -- Data processing.
Classification :
QA276
.
4
E358
1990
6. Computer performance engineering :
Author: Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer systems-- Evaluation, Congresses,Computers-- Reliability, Congresses,Formal methods (Computer science), Congresses
Classification :
QA76
.
9
.
E94
E64
2013
7. Computer supported education :
Author: Bruce M. McLaren, Rob Reilly, Susan Zvacek, James Uhomoibhi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-assisted instruction, Congresses.,Education-- Data processing, Congresses.,Computer-assisted instruction.,Education-- Data processing.
Classification :
LB1028
.
5
8. Concise guide to software engineering :
Author: Gerard O'Regan.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering.,Software engineering.
Classification :
QA76
.
758
.
O66
2017
9. Dependable Computing for Critical Applications 2
Author: edited by John F. Meyer, Richard D. Schlichting.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.,Software engineering.
Classification :
QA76
.
9
.
F38
E358
1992
10. Distributed Systems :
Author: by Albert Fleischmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
D5
B935
1994
11. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
12. Migrating to Azure :
Author: Josh Garverick.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Design.,Cloud computing.,Microsoft Azure (Computing platform),Business mathematics & systems.,Cloud computing.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology: general issues.,Microsoft Azure (Computing platform),Microsoft programming.
Classification :
QA76
.
585
13. Network flows :
Author: Ravindra K. Ahuja, Thomas L. Magnanti, James B. Orlin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematical optimization.,Network analysis (Planning),Mathematical optimization.,optimalizálás,számítógépes hálózat,Analyse de réseau (Planification),Optimisation mathématique.,31.80 applications of mathematics.,Mathematical optimization.,Mathematical optimization.,Netwerkplanning.,Network analysis (Planning),Network analysis (Planning)
Classification :
T57
.
85
.
A37
1993
14. Networked Digital Technologies :
Author: edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer Communication Networks.,Computer science.,Database management.,Information storage and retrieval systems.,Information systems.,Software engineering.,Artificial Intelligence (incl. Robotics).,Computer Communication Networks.,Computer Science.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Software Engineering.,Software Engineering/Programming and Operating Systems.,Artificial intelligence.,Computer science.,Database management.,Information storage and retrieval systems.,Software engineering.
Classification :
QA76
.
76
.
A65
I58
2010
15. New Trends in Software Methodologies, Tools and Techniques :
Author: edited by Hamido Fujita and Paul Johannesson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
Classification :
QA76
.
758
.
L94
2002eb
16. Practical reliability engineering /
Author: Patrick P. O'Connor and Andre Kleyner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Reliability (Engineering)
17. Process Control Systems Principles of Design, Operation and Interfacing.
Author: Jovic, F.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TS156
.
8
J685
2013
18. Real-time embedded components and systems with Linux and RTOS
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Linux
Classification :
TK7895
.
E42
S54
2016
19. Reliable software technologies, Ada-Europe '96 :
Author: Alfred Strohmeier, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Ada (Computer program language),Ada (Computer program language) -- Congresses.,Computer software -- Reliability -- Congresses.
Classification :
QA76
.
73
.
A16
A447
1996
20. Service-oriented computing :
Author: Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
Classification :
TK5105
.
5828
